"Harald Ganzinger" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Automated deduction--CADE 16: 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings (Lecture Notes in Artificial Intelligence 1632)

Harald Ganzinger

3.59 Mb

#2

Logic for programming and automated reasoning: 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999: proceedings

Harald Ganzinger, David McAllester, Andrei Voronkov

21.68 Mb

#3

European Symposium on Programming, 2 conf., ESOP '88

Harald Ganzinger

Категория: Cs_Computer science, CsLn_Lecture notes

4.14 Mb

#4

Rewriting Techniques and Applications, 7 conf., RTA-96

Harald Ganzinger

Категория: Cs_Computer science, CsLn_Lecture notes

3.53 Mb

#5

Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings: Cade-16, ... Computer Science; 1632. Lecture Notes in Ar)

Harald Ganzinger

4.73 Mb